and constructive

Results: 779



#Item
11

Constructive Algebra in Functional Programming and Type Theory Master of Science Thesis in the Programme Computer Science – Algorithms, Languages and Logic 1234567895AB45C

Add to Reading List

Source URL: web.student.chalmers.se

Language: English - Date: 2010-08-22 03:55:59
    12

    Patron Code of Conduct Welcome to the Saugerties Public Library! We are delighted that you are using our library. In order to provide a safe and appropriate library environment and to ensure constructive use of the libra

    Add to Reading List

    Source URL: saugertiespubliclibrary.org

    Language: English - Date: 2018-01-31 13:27:48
      13

      駐日ロシア通商代表部提供 2016 International Business Summit Concept “Over the years the International Business Summit has become a unique platform for constructive communication between government and busi

      Add to Reading List

      Source URL: www.jp-ru.org

      - Date: 2016-08-08 21:05:00
        14

        Constructive Finite Trace Analysis with Linear Temporal Logic Martin Sulzmann and Axel Zechner Informatik Consulting Systems AG, Germany {martin.sulzmann,axel.zechner}@ics-ag.de

        Add to Reading List

        Source URL: www.home.hs-karlsruhe.de

        - Date: 2013-03-29 18:22:29
          15

          A Library of Constructive Skeletons for Sequential Style of Parallel Programming (Invited Paper) Kiminori Matsuzaki∗ , Kento Emoto∗ , Hideya Iwasaki† and Zhenjiang Hu∗ ∗ Department

          Add to Reading List

          Source URL: research.nii.ac.jp

          - Date: 2012-04-25 02:47:41
            16

            A constructive approach to translatability of view updates Enrico Franconi and Paolo Guagliardo KRDB Research Centre, Free University of Bozen-Bolzano, Italy Abstract In this article, we revisit the view update framewor

            Add to Reading List

            Source URL: www.inf.unibz.it

            - Date: 2017-01-27 04:48:10
              17

              ISR 2017 Feedback Form Best Poster Award Please fill in at most one Feedback Form per participant before Wednesday July 5 at 11.00, with constructive and positive feedback on all posters, and an ordered preference of at

              Add to Reading List

              Source URL: www.win.tue.nl

              - Date: 2017-09-03 08:07:26
                18

                Exponential Speedup in U L Subsumption Checking Relative to General TBoxes for the Constructive Semantics Michael Mendler and Stephan Scheele Informatics Theory Group University of Bamberg, Germany

                Add to Reading List

                Source URL: ceur-ws.org

                - Date: 2009-07-07 04:46:34
                  19

                  Brit. J. Phil. Sci), 405–422, axg302 Constructive Empiricism and Modal Nominalism Bradley Monton and Bas C. van Fraassen

                  Add to Reading List

                  Source URL: www.princeton.edu

                  - Date: 2011-11-28 16:59:12
                    UPDATE